Surynek, Pavel: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (15)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning

Рік:

2009

Мова:

english

Файл:

PDF, 1.00 MB

english, 2009

2

[IEEE 2007 IEEE Symposium on Computational Intelligence in Scheduling - Honolulu, HI, USA (2007.04.1-2007.04.5)] 2007 IEEE Symposium on Computational Intelligence in Scheduling - Modelling Alternatives in Temporal Networks

Bartak, Roman, Cepek, Ondirej, Surynek, Pavel

Рік:

2007

Мова:

english

Файл:

PDF, 9.50 MB

english, 2007

3

Discovering implied constraints in precedence graphs with alternatives

Roman Barták, Ondřej Čepek, Pavel Surynek

Журнал:

Annals of Operations Research

Рік:

2010

Мова:

english

Файл:

PDF, 1.49 MB

english, 2010

4

[IEEE 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI) - Boca Raton, FL, USA (2011.11.7-2011.11.9)] 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence - Redundancy Elimination in Highly Parallel Solutions of Motion Coordination Problems

Рік:

2011

Мова:

english

Файл:

PDF, 824 KB

english, 2011

5

SOLVING ABSTRACT COOPERATIVE PATH-FINDING IN DENSELY POPULATED ENVIRONMENTS

Журнал:

Computational Intelligence

Рік:

2014

Мова:

english

Файл:

PDF, 5.08 MB

english, 2014

6

Preprocessing in Propositional Satisfiability Using Bounded (2, k )-Consistency on Regions with a Locally Difficult Constraint Setup

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2014

Мова:

english

Файл:

PDF, 1.03 MB

english, 2014

7

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Adversarial Cooperative Path-Finding: Complexity and Algorithms

Ivanova, Marika, Surynek, Pavel

Рік:

2014

Мова:

english

Файл:

PDF, 877 KB

english, 2014

8

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Mutex reasoning in cooperative path finding modeled as propositional satisfiability

Рік:

2013

Мова:

english

Файл:

PDF, 457 KB

english, 2013

9

REDUNDANCY ELIMINATION IN HIGHLY PARALLEL SOLUTIONS OF MOTION COORDINATION PROBLEMS

Журнал:

International Journal of Artificial Intelligence Tools

Рік:

2013

Мова:

english

Файл:

PDF, 1.02 MB

english, 2013

10

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs

Рік:

2014

Мова:

english

Файл:

PDF, 849 KB

english, 2014

11

[IEEE 2012 International Conference on Machine Learning and Cybernetics (ICMLC) - Xian, Shaanxi, China (2012.07.15-2012.07.17)] 2012 International Conference on Machine Learning and Cybernetics - Application of propositional satisfiability to special cases of cooperative path-planning

Рік:

2012

Мова:

english

Файл:

PDF, 974 KB

english, 2012

12

[IEEE 2012 International Conference on Machine Learning and Cybernetics (ICMLC) - Xian, Shaanxi, China (2012.07.15-2012.07.17)] 2012 International Conference on Machine Learning and Cybernetics - Relocation tasks and a hierarchical subclass

Рік:

2012

Мова:

english

Файл:

PDF, 387 KB

english, 2012

13

The joint movement of pebbles in solving the (\(N^2-1\))-puzzle suboptimally and its applications in rule-based cooperative path-finding

Surynek, Pavel, Michalík, Petr

Журнал:

Autonomous Agents and Multi-Agent Systems

Рік:

2017

Мова:

english

Файл:

PDF, 4.65 MB

english, 2017

14

Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems

Журнал:

Annals of Mathematics and Artificial Intelligence

Рік:

2017

Мова:

english

Файл:

PDF, 2.17 MB

english, 2017

15

[IEEE 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Macau, China (2019.11.3-2019.11.8)] 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Lazy Compilation of Variants of Multi-robot Path Planning with Satisfiability Modulo Theory (SMT) Approach

Рік:

2019

Файл:

PDF, 1.09 MB

2019